Model-driven interoperability: engineering heterogeneous IoT systems

Interoperability remains a significant burden to the developers of Internet of Things systems. This is because resources and APIs are dynamically composed; they are highly heterogeneous in terms of their underlying communication technologies, protocols and data formats, and interoperability tools remain limited to enforcing standards-based approaches. In this paper, we propose model-based engineering methods to reduce the development effort towards ensuring that complex software systems interoperate with one another. Lightweight interoperability models can be specified in order to monitor and test the execution of running software so that interoperability problems can be quickly identified, and solutions put in place. A graphical model editor and testing tool are also presented to highlight how a visual model improves upon textual specifications. We show using case-studies from the FIWARE Future Internet Service domain that the software framework can support non-expert developers to address interoperability challenges

A framework for deriving semantic web services

Web service-based development represents an emerging approach for the development of distributed information systems. Web services have been mainly applied by software practitioners as a means to modularize system functionality that can be offered across a network (e.g., intranet and/or the Internet). Although web services have been predominantly developed as a technical solution for integrating software systems, there is a more business-oriented aspect that developers and enterprises need to deal with in order to benefit from the full potential of web services in an electronic market. This ‘ignored’ aspect is the representation of the semantics underlying the services themselves as well as the ‘things’ that the services manage. Currently languages like the Web Services Description Language (WSDL) provide the syntactic means to describe web services, but lack in providing a semantic underpinning. In order to harvest all the benefits of web services technology, a framework has been developed for deriving business semantics from syntactic descriptions of web services. The benefits of such a framework are two-fold. Firstly, the framework provides a way to gradually construct domain ontologies from previously defined technical services. Secondly, the framework enables the migration of syntactically defined web services toward semantic web services. The study follows a design research approach which (1) identifies the problem area and its relevance from an industrial case study and previous research, (2) develops the framework as a design artifact and (3) evaluates the application of the framework through a relevant scenario

Adaptive service binding with lightweight semantic web services

[About the book]: Service-oriented systems are increasingly challenging traditional software engineering approaches including distribution, componentization, composition, requirements, specification, verification, and evolution. Continuous mutual impact between service-oriented computing and software engineering has been seen in the last decade, and can increasingly be witnessed. The book aims to introduce the state-of-the-art service engineering methods and on-going research efforts from the perspective of research results elaborated in European research projects. Essential problems such as service specification and service composition are addressed by innovative approaches. Emerging requirements of adaptive service and pervasive service are met with new infrastructures. The book provides an integrated vision of the most important research directions in service engineering. This book is intended for scientists to be inspired with new ideas, for researchers new to the exciting field of service engineering and provides a consolidated overview on service engineering, thus supporting practitioners to facilitate their service-oriented architectures

DAS Writeback: A Collaborative Annotation System

<p>Abstract</p> <p>Background</p> <p>Centralised resources such as GenBank and UniProt are perfect examples of the major international efforts that have been made to integrate and share biological information. However, additional data that adds value to these resources needs a simple and rapid route to public access. The Distributed Annotation System (DAS) provides an adequate environment to integrate genomic and proteomic information from multiple sources, making this information accessible to the community. DAS offers a way to distribute and access information but it does not provide domain experts with the mechanisms to participate in the curation process of the available biological entities and their annotations.</p> <p>Results</p> <p>We designed and developed a Collaborative Annotation System for proteins called DAS Writeback. DAS writeback is a protocol extension of DAS to provide the functionalities of adding, editing and deleting annotations. We implemented this new specification as extensions of both a DAS server and a DAS client. The architecture was designed with the involvement of the DAS community and it was improved after performing usability experiments emulating a real annotation task.</p> <p>Conclusions</p> <p>We demonstrate that DAS Writeback is effective, usable and will provide the appropriate environment for the creation and evolution of community protein annotation.</p

A comparison of blood pressure reductions following 12-weeks of isometric exercise training either in the laboratory or at home

Purpose: Isometric exercise training (IET) induced reductions in resting blood pressure (RBP) have been achieved in laboratory environments, but data in support of IET outside the lab is scarce. The aim of this study was to compare 12-weeks of home-based (HOM) IET with laboratory-based, face-to-face (LAB) IET in hypertensive adults. Methods: 22 hypertensive participants (24-60 years) were randomized to three conditions; HOM, LAB or control (CON). IET involved isometric handgrip training (4 x 2-minutes at 30% maximum voluntary contraction, 3 days per week). RBP was measured every 6-weeks (0, 6 and 12 weeks) during training and 6-weeks post-training (18 weeks). Results: Clinically meaningful, but not statistically significant reductions RBP were observed following 12 weeks of LAB IET (SBP -9.1±4.1; DBP-2.8±2.1 P>0.05), which was sustained for 6 weeks of detraining (SBP -8.2±2.9; DBP -4±2.9 P>0.05). RBP was reduced in the HOM group after 12 weeks of training (SBP -9.7±3.4; DBP - 2.2±2.0 P>0.05) which was sustained for an additional 6 weeks of detraining (SBP -5.5±3.4; DBP -4.6±1.8, P>0.05). Conclusions: Unsupervised home-based IET programs present an exciting opportunity for community-based strategies to combat hypertension but additional work is needed if IET is to be employed routinely outside the laboratory

DAS Writeback: A Collaborative Annotation System

<p>Abstract</p> <p>Background</p> <p>Centralised resources such as GenBank and UniProt are perfect examples of the major international efforts that have been made to integrate and share biological information. However, additional data that adds value to these resources needs a simple and rapid route to public access. The Distributed Annotation System (DAS) provides an adequate environment to integrate genomic and proteomic information from multiple sources, making this information accessible to the community. DAS offers a way to distribute and access information but it does not provide domain experts with the mechanisms to participate in the curation process of the available biological entities and their annotations.</p> <p>Results</p> <p>We designed and developed a Collaborative Annotation System for proteins called DAS Writeback. DAS writeback is a protocol extension of DAS to provide the functionalities of adding, editing and deleting annotations. We implemented this new specification as extensions of both a DAS server and a DAS client. The architecture was designed with the involvement of the DAS community and it was improved after performing usability experiments emulating a real annotation task.</p> <p>Conclusions</p> <p>We demonstrate that DAS Writeback is effective, usable and will provide the appropriate environment for the creation and evolution of community protein annotation.</p

Asynchronous timed session types: from duality to time-sensitive processes

We present a behavioural typing system for a higher-order timed calculus, using session types to model timed protocols, and the calculus to abstract implementations. Behavioural typing ensures that processes in the calculus will perform actions in the time-windows prescribed by their protocols. We introduce duality and subtyping for timed asynchronous session types. Duality includes a class of protocols that previous work on asynchronous timed session types could not type-check. Subtyping is critical for precision of our typing system, especially for session delegation. The composition of dual (timed asynchronous) types enjoys progress when using an urgent receive semantics, in which receive actions are executed as soon as the expected message is available. Our calculus increases the modelling power of calculi used in the previous work on timed sessions, adding a blocking receive primitive with timeout, and a primitive that consumes an arbitrary amount of time in a given range